- средства логического синтеза
- logic-synthesis tools
Русско-английский исловарь по машиностроению и автоматизации производства.
Русско-английский исловарь по машиностроению и автоматизации производства.
Стереометрическая семантика — трактовка логики как науки о получении истинных следствий из истинных посылок все более уступает место более широкой концепции,связанной либо с обобщением понятия следования, основанного на традиционной истинностной оценке и на практических… … Проективный философский словарь
Машин и механизмов теория — наука об общих методах исследования и проектирования машин (См. Машина) и Механизмов. Наиболее развита часть науки, называемая теорией механизмов, в которой изучаются преимущественно свойства механизмов, являющиеся общими для всех (или… … Большая советская энциклопедия
Идеи — (логическое содержание, источники, динамика) основная форма и средство осмысления человеком действительности, синтез знания истины, должного и возможного. Смысл суть порождение попыток постижения бесконечного мира конечным, ограниченным в… … Проективный философский словарь
НАУКА — особый вид познавательной деятельности, направленный на выработку объективных, системно организованных и обоснованных знаний о мире. Взаимодействует с др. видами познавательной деятельности: обыденным, художественным, религиозным, мифологическим … Философская энциклопедия
КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… … История Философии: Энциклопедия
АНАЛИТИЧЕСКАЯ ФИЛОСОФИЯ — понятие, охватывающее многообразные теории зап. философии 20 в., сложившиеся в рамках аналитической традиции. Эта традиция утвердилась в Великобритании, США, Канаде, Австралии, получила распространение в Скандинавских странах и Нидерландах. По… … Философская энциклопедия
Соединённые Штаты Америки — (США) (United States of America, USA). I. Общие сведения США государство в Северной Америке. Площадь 9,4 млн. км2. Население 216 млн. чел. (1976, оценка). Столица г. Вашингтон. В административном отношении территория США … Большая советская энциклопедия
ДИАЛЕКТИКА — [греч. διαλεκτική (τέχνη) искусство беседы, от διαλέϒομαι спор], философский и богословский термин, обозначающий на различных этапах его существования: 1) искусство спора в диалоге; 2) установление противоположностей и связи между ними; 3) способ … Православная энциклопедия
МЫШЛЕНИЕ — направленный процесс переработки информации в когнитивной системе живых существ. М. реализуется в актах манипулирования (оперирования) внутренними ментальными репрезентациями, подчиняющимися определенной стратегии и приводящими к возникновению… … Философская энциклопедия
ДИАЛЕКТИКА — (от греч. dialektike (techne) искусство вести беседу, спор) филос. теория, утверждающая внутреннюю противоречивость всего существующего и мыслимого и считающая эту противоречивость основным или даже единственным источником всякого движения и… … Философская энциклопедия
МЕТОДОЛОГИЯ — (от метод игреч. слово, понятие, учение), система принципов и способов организации и построения теоретич. и практич. деятельности, а также учение об этой системе. Первоначально М. была неявно представлена в практич. формах взаимоотношений … Философская энциклопедия